#pragma once
#include <ltlf2dfa/mona_ext.h>
#include <syft/syn.h>

enum class SynType
{
    ENV_FIRST,
    SYS_FIRST,
};

bool syft_check_synthesis(SynType which_first, std::string dfa_filename, std::string &partfile);
bool syft_check_synthesis(SynType which_first, DFA *a, std::string &partfile, int var_num, std::vector<std::string> &var_names,
                          std::vector<char> &var_orders);